Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
681	Fuzzy-probabilistic logic for common sense YKY (King-Yin Yan) Abstract. P(Z) logic offers a new way to reason about vagueness (ie fuzziness), that treats fuzziness as degrees, distinct from probabilities. One then applie Add to Reading List Source URL: agi-conference.org Language: English - Date: 2012-12-09 10:04:16 Fuzzy logic Artificial intelligence Non-classical logic Bayesian statistics Probability interpretations Probabilistic logic Inference Bayesian network Fuzzy set Logic Mathematical logic Science
682	WEAK EQUIVALENCE AND NON-CLASSIFIABILITY OF MEASURE PRESERVING ACTIONS ROBIN D. TUCKER-DROB Abstract. Ab´ert-Weiss have shown that the Bernoulli shift sΓ of a countably infinite group Γ is weakly contained in any free Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2012-04-06 14:41:23 Geometric group theory Deduction Amenable group Ergodic theory Entailment Orbifold Gaussian measure Abstract algebra Logic Mathematics
683	Non-Omniscience, Probabilistic Inference, and Metamathematics Paul Christiano∗ June 22, 2014 Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-06-22 13:59:27 Metalogic Philosophical logic Model theory Deduction Entailment Probabilistic logic Axiom Function First-order logic Logic Mathematics Mathematical logic
684	The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’UlmParis cedex 05, France Patrick.Cousot@ ens.fr Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-08-12 12:15:34 Abstract interpretation Astrée Applied mathematics Computer science Formal verification Patrick Cousot Programming language Abstraction Semantics of programming languages Formal methods Theoretical computer science Logic in computer science
685	Creativity, Cognitive Mechanisms, and Logic Ahmed Abdel-Fattah, Tarek Besold, and Kai-Uwe Kühnberger University of Osnabrück, Albrechtstr. 28, Germany, {ahabdelfatta,tbesold,kkuehnbe}@uos.de Abstract. Creativity is us Add to Reading List Source URL: agi-conference.org Language: English - Date: 2012-12-09 09:50:44 Cognitive science Cognition Educational psychology Semantics Artificial intelligence Computational creativity Creativity Analogy Conceptual blending Science Mind Ethology
686	Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Structure Interpretation First-order logic Symbol Permutation Signature Parity of a permutation Combinatorial species Mathematics Model theory Logic
687	Efficient Rule-Matching for Automated Coherent Logic Bjarne Holen, Dag Hovland , and Martin Giese, Department of Informatics, University of Oslo, Norway Abstract Coherent logic is a syntactically defined fragment of firs Add to Reading List Source URL: www.nik.no Language: English - Date: 2013-01-14 07:43:26 Automated theorem proving Rules of inference Logic programming Predicate logic Rete algorithm First-order logic Resolution Production system Admissible rule Logic Mathematics Mathematical logic
688	Origin System Design Methodology and Experience: 1M-gate ASICs and Beyond Ásgeir Th. Eiríksson, John Keen, Alex Silbey, Swami Venkataraman, Michael Woodacre Silicon Graphics Inc., Mountain View, CA Abstract. Add to Reading List Source URL: vintagecomputers.info Language: English - Date: 1999-02-05 11:20:10 SGI Origin Integrated circuit design Logic simulation Standard cell Verilog Physical design High-level synthesis Synopsys R10000 Electronic engineering Digital electronics Electronic design automation
689	My Life with an Automatic Theorem Prover Jasmin Christian Blanchette Technische Universität München, Germany Abstract Sledgehammer integrates third-party automatic theorem provers in the proof assistant Isabelle/HOL. I Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2014-06-02 12:21:13 Mathematics Logic in computer science Formal methods Mathematical logic E theorem prover Isabelle Vampire Automated reasoning Proof assistant Theoretical computer science Applied mathematics Automated theorem proving
690	Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs Steffen Juilf Smolka and Jasmin Christian Blanchette Technische Universität München, Germany Abstract Sledgehammer integrates external automatic theorem provers Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-05-15 10:49:35 Model theory Automated theorem proving Predicate logic First-order logic Herbrandization Mathematical proof Isabelle Proof assistant Constructible universe Mathematics Mathematical logic Logic

UPDATE